(from the article `computer programming language`) Logic programming languages, of which PROLOG (programming in logic) is the best known, state a program as a set of logical relations (e.g., a ... ...the appropriate level of abstraction to solve the problem at hand. This feature has made LISP a popular language for artificial intelligen...